1. Automatic test case generation with dynamic symbolic execution for programs that are coded against interfaces and annotations or use native code
المؤلف: Mainul Islam
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science,Applied sciences;Automatic test case generation;Software engineering;Software testing;Software/program reliability;Testing tool
